- 双语例句 更多例句
1、
本文提出一种对安全协议进行分析的非单调逻辑。
互联网摘选
2、
在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统GKD&NMRS在描述和解决框架问题上的简洁性和直观性。
互联网摘选
3、
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
互联网摘选
4、
5、
本文试图从非单调逻辑的角度来探讨会话含义的推导过程，运用非单调逻辑来解释会话含义的可取消性特征，使用合情推理、缺省推理来推导会话含义。
互联网摘选
- 相关词组
- serial logic串行逻辑
- slow logic circuit慢逻辑电路
- stored logic controller存储逻辑控制器
- algebraic logic代数逻辑;
- use lame arguments and perverted logic强词夺理
- monotonic set单调集(合)
- non contemporaneous error非同时发生的误差
- monotonic increasing quantity单调增量
- non directive不定向的;
- service logic业务逻辑
- simulation of logic array逻辑阵列仿真
- threshold logic circuit阈逻辑电路
- non woven bag无纺布袋；无纺布购物袋
- monotonic functional单调泛函
- saturation logic饱和逻辑
- contention logic[计] 争用逻辑;
- inductive logic归纳逻辑
- monotonic system of algebra单调代数系
- persona non gratan.不受欢迎的人;
- monotonic transformation单调变换
- 今日热词
- 热门搜索
- hurricane n.飓风;
- motion control 运动控制;
- recognition n.认识，识别;承认;赞赏;
- flag n. 旗;旗帜;信号旗;菖蒲;vt. 标示;
- venti 超大杯;法国梵迪珠宝;
- organize v.组织;安排;规划;建立组织;
- civilization n.文明;文明社会;社会文明;人类文明的生活;
- Kingsoft n.全称Kingsoft Corporation Limited 金山软件有限公司，中国最知名的软件企业之一，中国领先的应用软件和互联网服务提供商。网站：www.kingsoft.com;
- sweat n.汗水;出汗;繁重的工作;v.出汗;苦干;焦虑;渗出水分;用文火熬;
- still adv. 仍，仍然;更，还要;静静地;〈诗〉常，不断地;adj. 不动的，静止的;不狂暴的，温柔的;没有活力的，死气沉沉的;
- statistics n.统计数字;统计学;统计数字（statistic的复数）;
- dissatisfy vt.使不满意，使不满足;使失望;
湘公网安备43011202000971号